Computer Applications - PDFSEARCH.IO - Document Search Engine

Computer Applications
Results: 4069

#	Item
831	A Mechanized Semantics for C++ Object Construction and Destruction, with Applications to Resource Management Tahina Ramananandro Gabriel Dos Reis ∗ Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2011-11-08 09:14:31 C++ Method Subobject Structure Virtual function Constructor C++ classes C++11 Destructor Computer programming Software engineering Object-oriented programming
832	A FRAMEWORK FOR THE DYNAMIC RECONFIGURATION OF SCIENTIFIC APPLICATIONS IN GRID ENVIRONMENTS By Kaoutar El Maghraoui A Thesis Submitted to the Graduate Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:33:52 Computer programming Systems engineering Cluster computing Computer cluster Peer-to-peer Grid computing Cluster manager Middleware Business transaction management Computing Concurrent computing Parallel computing
833	Optimal-Time Adaptive Strong Renaming, with Applications to Counting [Extended Abstract] Dan Alistarh ∗ EPFL Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2011-11-17 23:45:10 Sorting algorithms Computational complexity theory Analysis of algorithms Algorithm Mathematical logic Randomized algorithm Time complexity Consensus Sorting network Theoretical computer science Applied mathematics Mathematics
834	RESEARCH PLUS Research Plus and the importance of keeping Java up to date Java is an application that runs on your computer to enable other applications to run in your web browser. Digital Look’s Research Plus product Add to Reading List Source URL: static.digitallook.com Language: English - Date: 2011-11-11 04:22:44 Portable software Google Chrome Cloud clients News aggregators Firefox Internet Explorer Java Browser wars Software Computing Cross-platform software
835	Google Message Encryption ABOUT GOOGLE APPS Google Apps is a suite of applications that includes Gmail, Google Calendar (shared calendaring), Google Talk Add to Reading List Source URL: www.spaminabox.co.za Language: English - Date: 2009-06-09 06:29:13 Computer-mediated communication Email Secure messaging Gmail Google Apps Google Talk Instant messaging Secure communication Transport Layer Security Computing Internet privacy Internet
836	Hacking Web Applications Using Cookie Poisoning Amit Klein () is security group manager for Sanctum, Inc. Summary Cookie poisoning is a known technique mainly for achieving impersonation and brea Add to Reading List Source URL: www.cgisecurity.com Language: English - Date: 2008-11-02 15:05:36 HTTP cookie Internet privacy Session ID Session Computer security Network architecture Access token Security token Load balancing Network protocols Computing HTTP
837	CURRICULUM VITAE Michael T. Goodrich Dept. of Computer Science Bren School of Info. & Computer Sciences University of California, Irvine Irvine, CA Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2015-05-08 17:28:58 Discrete geometry Year of birth missing Michael T. Goodrich David Eppstein Journal of Graph Algorithms and Applications Straight skeleton Algorithm Randomized algorithm Voronoi diagram Mathematics Geometry Computational geometry
838	Dialogue-based human-computer interfaces and active language understanding Will Fitzgerald, Kalamazoo College and I/NET, Inc. R. James Firby, I/NET, Inc. Recent developments in s Add to Reading List Source URL: www.entish.org Language: English - Date: 1969-12-31 19:00:00 User interfaces Artificial intelligence applications Computational linguistics Human communication Human–computer interaction Scientific revolution Dialog system Speech synthesis Perception Science Knowledge Humanâ€“computer interaction
839	Journal of Graph Algorithms and Applications http://jgaa.info/ vol. 0, no. 0, pp. 0–0 (0) Inapproximability of Orthogonal Compaction Michael J. Bannister David Eppstein Joseph A. Simons Computer Science Department, Add to Reading List Source URL: jgaa.info Language: English - Date: 2012-03-09 04:02:51 NP-complete problems Graph coloring Topological graph theory Angular resolution Eulerian path Planar graph Graph Edge coloring Petersen graph Graph theory Mathematics Graph drawing
840	Applications and Challenges in Satisfiability Modulo Theories Leonardo de Moura Microsoft Research One Microsoft Way Redmond, WA 98052 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:35:41 Formal methods Mathematics Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Z3 Boolean satisfiability problem First-order logic Theoretical computer science Constraint programming Applied mathematics

UPDATE